PreviousNextTracker indexSee it online !

(165/207) 3324954 - case-insensitive replace

been a jedit user daily for 11 years now!

Feature I'd particularly like is per http://cbloomrants.blogspot.com/2011/06/06-04-11-keep-case.html

Submitted bogomips - 2011-06-23 - 05:58:27z Assigned nobody
Priority 5 Category None
Status Open Group None
Resolution None Visibility No

Comments

2011-06-23 - 06:07:13z
bogomips
I imagine it being a checkbox in the find-replace dialog; its not necessary for this to work in conjunction with regex replacement - they can be mutually exclusive

Attachments